A General Class of Models of H*
نویسنده
چکیده
We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient conditions for categorical models living in arbitrary cpo-enriched cartesian closed categories to have H∗, the maximal consistent sensible λ-theory, as their equational theory. Finally, we prove that our relational model fulfils these conditions.
منابع مشابه
Study of kinetics, isotherms and thermodynamics of lead adsorption from aqueous solutions using Lignocellulose Nano-fibers (LCNFs)
The surface adsorption of heavy metals in effluents with nanoparticles is today asuitable method for effluents treatment. In the present study, lignocellulose nano-fibers(LCNFs) were used as natural adsorbent for lead adsorption. The aim was to evaluate leadadsorption using adsorption isotherms, kinetics and thermodynamics. Fourier TransformInfrared Sp...
متن کاملFinite Element Analysis of the Effect of Proximal Contour of Class II Composite Restorations on Stress Distribution
Introduction: The aim of this study was to evaluate the effect of proximal contour of class II composite restorations placed with straight or contoured matrix band using composite resins with different modulus of elasticity on stress distribution by finite element method. Methods: In order to evaluate the stress distribution of class II composite restorations using finite element method, upper ...
متن کاملEVALUATION AND MAPPING OF DESERTIFICATION CONDITION IN FAKHRABAD- MEHRIZ REGION WITH THE ICD AND MICD MODELS
There are different models for mapping and evaluation of desertification condition, such as global FAO_UNEP model. There are also several models for evaluation of desertification in Iran. In this study, tow fol/owing methods was used: 1-ICD method, (Iranian Classification of Desertification). 2- MICD method, (Modified Iranian Classification of Desertification). In this research, at first, these...
متن کاملTHE DISTRIBUTION OF CLASS I HLA ANTIGENS IN 1000 NORMAL INDIVIDUALS IN KHORASAN PROVINCE
In this paper, the antigen and gene frequencies of class I HLA antigens were evaluated in 1000 individuals in Khorasan province in northeast Iran, and compared with statistics of other countries. The results and a general discussion are presented.
متن کامل$(m,n)$-Hyperideals in Ordered Semihypergroups
In this paper, first we introduce the notions of an $(m,n)$-hyperideal and a generalized $(m,n)$-hyperideal in an ordered semihypergroup, and then, some properties of these hyperideals are studied. Thereafter, we characterize $(m,n)$-regularity, $(m,0)$-regularity, and $(0,n)$-regularity of an ordered semihypergroup in terms of its $(m,n)$-hyperideals, $(m,0)$-hyperideals and $(0,n)$-hyperideal...
متن کاملGrouplikes
In this paper we introduce and study an algebraic structure, namely Grouplike. A grouplike is something between semigroup and group and its axioms are generalizations of the four group axioms. Every grouplike is a semigroup containing the minimum ideal that is also a maximal subgroup (but the converse is not valid). The first idea of grouplikes comes from b-parts and $b$-addition of real number...
متن کامل